Time Petri Nets with Action Duration
نویسندگان
چکیده
منابع مشابه
Time Petri Nets with Action Duration: A True Concurrency Real-Time Model
The design of real-time systems needs a high-level specification model supporting at the same time timing constraints and actions duration. The authors introduce in this paper an extension of Petri Nets called Time Petri Nets with Action Duration (DTPN) where time is associated with transitions. In DTPN, the firing of transitions is bound to a time interval and transitions represent actions whi...
متن کاملChecking time Petri nets for linear duration properties
In this paper, we consider the problem of checking time Petri nets for linear duration properties, which are linear inequalities on integrated durations of system states. By showing that a time Petri net satis es a linear duration property if and only if its integral behaviour satis es the linear duration property, we give an algorithm that solves the problem based on investigating the integral...
متن کاملProbabilistic Time Petri Nets
We introduce a new model for the design of concurrent stochastic real-time systems. Probabilistic time Petri nets (PTPN) are an extension of time Petri nets in which the output of tokens is randomised. Such a design allows us to elegantly solve the hard problem of combining probabilities and concurrency. This model further benefits from the concision and expressive power of Petri nets. Furtherm...
متن کاملPetri Nets with Time and Cost
Petri nets [13, 12] are a widely used model for the study and analysis of concurrent systems. Many different formalisms have been proposed which extend Petri nets with clocks and real-time constraints, leading to various definitions of Timed Petri nets (TPNs) (see [10, 6] for surveys). In parallel, there have been several works on extending the model of timed automata [4] with prices (weights) ...
متن کاملPetri Nets with Time and Cost (Tutorial)
Petri nets [13, 12] are a widely used model for the study and analysis of concurrent systems. Many different formalisms have been proposed which extend Petri nets with clocks and real-time constraints, leading to various definitions of Timed Petri nets (TPNs) (see [10, 6] for surveys). In parallel, there have been several works on extending the model of timed automata [4] with prices (weights) ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Embedded and Real-Time Communication Systems
سال: 2013
ISSN: 1947-3176,1947-3184
DOI: 10.4018/jertcs.2013040104